Multi-valued Logics, Effectiveness and Domains
نویسنده
چکیده
Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machines and fuzzy grammar given in literature is also investigated. This shows the inadequateness of these definitions and the difficulties in formulating an analogue of Church Thesis for fuzzy logic.
منابع مشابه
A Knowledge Representation Formalism to Process Vague Medical Queries
Many fields of application deal with vague and fuzzy information. Thus the need of tools that are able to handle this kind of data is obvious. We concentrate on the extension of well-known terminological knowledge representation systems with appropriate methods. Classical terminological knowledge representation systems are based on two-valued logics. To solve problems of uncertainty a more expr...
متن کاملUsing Multi-valued Logics to Model Digital Circuits Problems
Systems are subject to faults in their components, which may affect their output. In this paper we explore the modelling of dependency on faulty components by means of multi-valued logics, and describe a number of problems arising in the manufacturing and use of digital circuits as constraint solving and optimisation over these logics. To fully exploit the potential of this modelling, we develo...
متن کاملχChek: A Model Checker for Multi-Valued Reasoning
This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they support explicit modeling of uncertainty,...
متن کامل\chiChek: A Model Checker for Multi-Valued Reasoning
This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they support explicit modeling of uncertainty,...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کامل